Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
981	Sharon Hayes explained structure of Project Management Office Add to Reading List Source URL: www.epmo.scio.nc.gov Language: English - Date: 2009-04-29 07:43:02 Project management Formal methods Science Software development process Change management Project manager Systems engineering process Dynamic systems development method STLC Systems engineering Management Software development
982	Project Managers’ Advisory Group MINUTES August 15, 2011 Attending: Bob Giannuzzi Add to Reading List Source URL: www.epmo.scio.nc.gov Language: English - Date: 2012-01-11 15:07:52 Information technology management Business Project manager Systems engineering process Software development process Government procurement in the United States Dynamic systems development method Vendor management system Project management Management Formal methods
983	eManifest Review Review Engagement December 2012 Add to Reading List Source URL: www.asfc-cbsa.gc.ca Language: English - Date: 2013-10-10 13:21:59 Software engineering Project management Systems engineering Software development process Formal methods Systems development life-cycle Project governance Project manager Quality assurance Software development Management Information technology management
984	The Changing Culture of Big Data Management by Dennis D. McDonald, Ph.D.1 October 29, 2013 Introduction Add to Reading List Source URL: www.ddmcd.com Language: English - Date: 2013-10-29 15:01:09 Data Database management systems Formal sciences Computer data Data architecture Enterprise architecture Big data Data governance Data visualization Information technology management Data management Technology
985	Datasheet Certitude Functional Qualification System Overview Add to Reading List Source URL: www.synopsys.com Language: English Electronic design automation Systems engineering Logic in computer science Hardware verification languages Verification Functional verification Formal verification E Logic simulation Electronic engineering Digital electronics Formal methods
986	CHAPTER 1.5 Managing the Risks and Rewards of Big Data MATT QUINN CHRIS TAYLOR Add to Reading List Source URL: www3.weforum.org Language: English - Date: 2014-04-11 06:06:54 Database management systems Formal sciences Big data Data modeling Transaction processing Business intelligence Internet privacy Data loss Data governance Technology Data management Data
987	Information Technology Project Oversight Framework Appendix B: Department Project Management Assessment Form Independent project oversight will use the following form to assess the practices and processes of project mana Add to Reading List Source URL: cio.ca.gov Language: English - Date: 2013-06-28 15:09:00 Systems engineering Software engineering Technology Formal methods Business case Systems engineering process Government procurement in the United States Risk management Systems development life-cycle Project management Management Business
988	Information Technology Project Oversight Framework Appendix C: Categories and Examples of Risk Plan/Schedule Schedule is optimistic, "best case," rather than realistic, "expected case" Add to Reading List Source URL: cio.ca.gov Language: English - Date: 2013-06-28 15:15:08 Software requirements Software project management Systems engineering IBM Rational Unified Process Project management Software development process Requirement Software development methodology Dynamic systems development method Software development Software Formal methods
989	Cell Factory Design 1. The Center for Biosustainability 2. ME models of whole cell functions Industrialization of Biology, May 28-29, Wash DC Add to Reading List Source URL: nas-sites.org Language: English - Date: 2014-06-05 10:56:10 Bioengineering Bioinformatics Computational biology Mathematical and theoretical biology Science Workflow Systems biology Workflow technology Formal sciences Applied mathematics
990	NASA-STD-8719.13B APPENDIX B Appendix B. Software Safety Requirements Compliance Matrix NASA-STD-8719.13B Requirements Compliance Matrix Add to Reading List Source URL: www.hq.nasa.gov Language: English - Date: 2007-07-18 09:10:46 Software development Safety Software quality Formal methods Software development process Software testing Requirement System safety Safety assurance Systems engineering Safety engineering Systems science

UPDATE